What (who) is Математическая логика - definition
РАЗДЕЛ МАТЕМАТИКИ, ИЗУЧАЮЩИЙ ЕЁ ОСНОВАНИЯ
Матлогика; Символическая логика; Теоретическая логика; Логика символическая; Выводимая формула
МАТЕМАТИЧЕСКАЯ ЛОГИКА
дедуктивная логика, включающая математические методы исследования способов рассуждений (выводов); математическая теория дедуктивных способов рассуждений. Математической логикой называют также логику, которой пользуются в математике.
Математическая логика
логика, развиваемая математическим методом. Характерным для М. л. является использование формальных языков с точным синтаксисом и чёткой семантикой, однозначно определяющими понимание формул. Потребность в такой логике выявилась в начале 20 века в связи с интенсивной разработкой оснований математики (См. Математика), возникновением множеств теории (См. Множеств теория), где были открыты антиномии (см. Парадокс), уточнением понятия алгоритма и другими глубокими и принципиальными вопросами математической науки. Однако значение М. л. для науки в целом не исчерпывается её математическими приложениями, поскольку хорошо рассуждать и доказывать приходится во всех науках. Вот почему М. л. с полным правом может быть охарактеризована как логика на современном этапе. См. статья Логика (раздел Предмет и метод современной логики) и литературу при этой статье.
А. А. Марков.
Математическая логика
Математи́ческая ло́гика (теоретическая логика, символическая логика) — раздел математики, изучающий математические обозначения, формальные системы, доказуемость математических суждений, природу математического доказательства в целом, вычислимость и прочие аспекты оснований математики.
Wikipedia
Математическая логика
Математи́ческая ло́гика (теоретическая логика, символическая логика) — раздел математики, изучающий математические обозначения, формальные системы, доказуемость математических суждений, природу математического доказательства в целом, вычислимость и прочие аспекты оснований математики.
В более широком смысле рассматривается как математизированная ветвь формальной логики — «логика по предмету, математика по методу», «логика, развиваемая с помощью математических методов».
Examples of use of Математическая логика
1. Химия высокомолекулярных соединений, физическая химия, высшая математика, математическая логика.
2. - Здесь действует не математическая логика, а психологическая, - считает профессор кафедры социальной психологии МГУ Тахир БАЗАРОВ.
3. - Здесь действует не математическая логика, а психологическая, считает профессор кафедры социальной психологии МГУ Тахир БАЗАРОВ.
4. В чем смысл соединения этих историй, писатель Барикко, похоже, и сам не знает, хотя и настаивает на том, что в этом есть какая-то математическая логика.